16th International Workshop on Algebraic Development Techniques

英文缩写：WADT02

英文全称：16th International Workshop on Algebraic Development Techniques

中文释义：第16届代数发展技术国际讲习班

中文拼音：dì jiè dài shù fā zhǎn jì shù guó jì jiǎng xí bān

所属分类：Community